Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
101	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
102	ML-Tuned Constraint Grammars Eckhard Bick Institute of Language and Communication University of Southern Denmark, Odense Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2014-03-18 07:42:49 Formal languages Grammar Cognition Cognitive science Constraint Grammar Parsing Formal grammar LL grammar Linguistics
103	"Shape Grammars and the Generative Specification of Painting and Sculpture" by George Stiny and James Gips. Presented at IFIP Congress 71 in Ljubljana, Yugoslavia. Selected as the Best Submitted Paper. (IFIP stands for I Add to Reading List Source URL: www.shapegrammar.org Language: English - Date: 2009-08-07 23:52:31 Formal languages Academia Syntax Grammar Architectural theory Shape grammar Cognitive science Natural language processing George Stiny Formal grammar Phrase structure grammar Shape
104	Towards a Common Semantic Representation of Informed Consent for Biobank Specimens Frank J. Manion1, Yongqun He2, Elizabeth Eisenhauer3, Yu Lin2, Alla Karnovsky4, Marcelline R. Harris3 2 Add to Reading List Source URL: ceur-ws.org Language: English* - Date: 2014-12-08 13:49:29 Ontology Information science Academia Knowledge Technical communication Knowledge representation Semantic Web Biological specimen Biorepository Biobank OBO Foundry Formal ontology
105	Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group
106	Towards more complex grammar systems Some basic formal language theory Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-13 21:34:30 Formal languages Grammar Cognitive science Language Context-sensitive grammar Context-free grammar Regular language Formal grammar Context-free language Linear grammar Chomsky hierarchy Indexed grammar
107	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
108	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
109	Microsoft Word - IBSAI and DM.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:44:11 Ontology Knowledge representation Information science Technical communication Computing Semantic Web Information Upper ontology Formal ontology WordNet Knowledge representation and reasoning Web Ontology Language
110	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming

UPDATE